extern void DbgPrintf(LPSTR lpszFmt, ...);
extern int  mgetshort(unsigned char *mp);
